Skip to content

Add GetRepositoryIssues with paginated issue listing#57

Merged
SeanTAllen merged 1 commit intomainfrom
add-get-repository-issues
Feb 8, 2026
Merged

Add GetRepositoryIssues with paginated issue listing#57
SeanTAllen merged 1 commit intomainfrom
add-get-repository-issues

Conversation

@SeanTAllen
Copy link
Copy Markdown
Member

Summary

  • Adds GetRepositoryIssues primitive for paginated listing of repository issues via GET /repos/{owner}/{repo}/issues
  • Supports labels and state query parameters for filtering
  • Adds is_pull_request: Bool field to Issue model to distinguish issues from PRs in list results
  • Adds get_issues() chaining method on Repository
  • Updates CLAUDE.md coverage table and documentation

Originated from Discussion #45 (pony-sync-helper gap analysis).

Related:

  • Discussion #54 — State parameter type design (String vs union type)
  • Discussion #55 — is_pull_request Bool vs richer type
  • Issue #56 — Additional query parameters (sort, direction, since, per_page)

Adds a paginated list operation for repository issues, following the
same pattern as GetOrganizationRepositories and GetRepositoryLabels.
Supports filtering by label and state query parameters, which is the
minimum needed for pony-sync-helper's use case.

Also adds is_pull_request: Bool to the Issue model since the GitHub
issues API returns both issues and PRs, and callers need to distinguish
them.
@ponylang-main ponylang-main added the discuss during sync Should be discussed during an upcoming sync label Feb 8, 2026
@SeanTAllen SeanTAllen added the changelog - added Automatically add "Added" CHANGELOG entry on merge label Feb 8, 2026
@SeanTAllen SeanTAllen merged commit e190d07 into main Feb 8, 2026
11 checks passed
@SeanTAllen SeanTAllen deleted the add-get-repository-issues branch February 8, 2026 13:59
@ponylang-main ponylang-main removed the discuss during sync Should be discussed during an upcoming sync label Feb 8, 2026
github-actions bot pushed a commit that referenced this pull request Feb 8, 2026
github-actions bot pushed a commit that referenced this pull request Feb 8, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog - added Automatically add "Added" CHANGELOG entry on merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants